Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
231	Lectures on PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABLE COMPONENTS delivered by Add to Reading List Source URL: www.sns.ias.edu Language: English - Date: 2012-06-28 07:44:26 Non-classical logic Austrian nobility Hungarian nobility John von Neumann Probabilistic logic Automaton Logic Science Mathematics Academia
232	arXiv:1412.5090v2 [cs.LO] 17 DecBelief as Willingness to Bet Jan van Eijck Bryan Renne∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-12-18 22:39:50 Mathematics Non-classical logic Philosophical logic Epistemology Probabilistic logic Normal distribution Probability interpretations Probability Modal operator Logic Mathematical logic Modal logic
233	The Little Grothendieck Inequality From Classical to Non-Commutative Julie Pedersen Resum´e Dette bachelorprojekt i matematik omhandler den lille Grothendieck ulighed, Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2010-06-10 12:21:36 Operator theory Hilbert space Banach space Grothendieck inequality Alexander Grothendieck Sheaf Grothendieck group Nuclear space Mathematics Mathematical analysis Algebra
234	Two puzzles about requirements Rick Nouwen June 17, 2010 Abstract I discuss the semantics of statements of minimum and maximum requirement. I show that, on standard assumptions, such statements receive a non-sensical int Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:27 Modal logic Non-classical logic Possibility Linguistic modality Entailment Interpretation Possible world Maxima and minima Quantification Logic Philosophical logic Semantics
235	Non-additive genetic variation in growth, carcass and fertility traits of beef cattle Add to Reading List Source URL: www.gsejournal.org Language: English Philosophy of biology Population genetics Statistical genetics Genome-wide association study Heritability Single-nucleotide polymorphism Quantitative trait locus Epistasis Dominance Genetics Biology Classical genetics
236	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics
237	A Cloud Trust Evaluation System Using Hierarchical Fuzzy Inference System for Service Selection Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2014-06-16 02:04:54 Fuzzy logic Non-classical logic Cloud computing Security Fuzzy control system Computer security Logic Artificial intelligence Logic in computer science
238	CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICSJuly 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2015-01-16 03:22:08 Formal sciences Mathematical logic Logic in computer science IEEE Symposium on Logic in Computer Science Philosophical logic Kleene award Theoretical computer science Modal logic Description logic Logic Science Non-classical logic
239	Planning with Numerical State Variables through Mixed Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-28 20:23:33 Planning Domain Definition Language Cutting-plane method Artificial intelligence Applied mathematics Mathematics Non-classical logic Logic programming Operations research Automated planning and scheduling Mathematical optimization
240	Developmental changes in human dopamine neurotransmission: cortical receptors and terminators Add to Reading List Source URL: www.biomedcentral.com Language: English Mind Arame Lessoniaceae Indometacin LTM Phospholipase A2 Classical conditioning Aspirin Glucan Chemistry Non-steroidal anti-inflammatory drugs Organic chemistry

UPDATE